l{-}ordered($T$;$x$,$y$.$R$($x$;$y$);$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$, $y$:$T$. $x$ before $y$ $\in$ $L$ $\in$ $T$ $\Rightarrow$ $R$($x$;$y$)